if elon musk bought discord